<?php
do {
    ;
    ;
while ($a);